pub fn f() -> Unit {
  @A.f()
  @B0.f()
  @B1.f()
  @B2.f()
  println("B")
}
